Shang-Jin Wei's Documents

Shang-Jin Wei's Documents

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Read more
Theoretical and Computational Acoustics 2005: Hangzhou, China, 19-22 September 2005

Theoretical and Computational Acoustics 2005: Hangzhou, China, 19-22 September 2005
Read more
Combining dependent tests for linkage or association across multiple phenotypic traits

Combining dependent tests for linkage or association across multiple phenotypic traits
Read more
Transition layer for the heterogeneous Allen-Cahn equation

Transition layer for the heterogeneous Allen-Cahn equation
Read more
New Trends in Nonlinear Dynamics and Control, and their Applications (Lecture Notes in Control and Information Sciences)

New Trends in Nonlinear Dynamics and Control, and their Applications (Lecture Notes in Control and Information Sciences)
Read more
The Maunder Minimum: And the Variable Sun-Earth Connection

The Maunder Minimum: And the Variable Sun-Earth Connection
Read more
Recent Progress on Reaction-Diffusion Systems and Viscosity Solutions

Recent Progress on Reaction-Diffusion Systems and Viscosity Solutions
Read more
Handbook of Research on Computational and Systems Biology: Interdisciplinary Applications

Handbook of Research on Computational and Systems Biology: Interdisciplinary Applications
Read more
Network Intrusion Detection and Prevention: Concepts and Techniques (Advances in Information Security)

Network Intrusion Detection and Prevention: Concepts and Techniques (Advances in Information Security)
Read more
Taiwan Under Japanese Colonial Rule, 1895-1945: History, Culture, Memory

Taiwan Under Japanese Colonial Rule, 1895-1945: History, Culture, Memory
Read more
Theoretical and computational acoustics 2005: Hangzhou, China, 19-22 September 2005

Theoretical and computational acoustics 2005: Hangzhou, China, 19-22 September 2005
Read more
Advances in Chemical Engineering, Volume 19

Advances in Chemical Engineering, Volume 19
Read more
Web, and HCI)

Web, and HCI)
Read more
An Introduction to Iterative Toeplitz Solvers

An Introduction to Iterative Toeplitz Solvers
Read more
Environment-Friendly Antiviral Agents for Plants

Environment-Friendly Antiviral Agents for Plants
Read more
Applications of Group Theory to Combinatorics

Applications of Group Theory to Combinatorics
Read more
The Education of Language Minority Immigrants in the United States (Bilingual Education and Bilingualism)

The Education of Language Minority Immigrants in the United States (Bilingual Education and Bilingualism)
Read more
Self-Assembled Nanostructures (Nanostructure Science and Technology)

Self-Assembled Nanostructures (Nanostructure Science and Technology)
Read more
Environment-Friendly Antiviral Agents for Plants

Environment-Friendly Antiviral Agents for Plants
Read more
Handbook of Research on Digital Libraries: Design, Development, and Impact

Handbook of Research on Digital Libraries: Design, Development, and Impact
Read more
Scattering of Electromagnetic Waves, Volume 1: Theories and Applications

Scattering of Electromagnetic Waves, Volume 1: Theories and Applications
Read more
An Introduction to Iterative Toeplitz Solvers

An Introduction to Iterative Toeplitz Solvers
Read more
Scattering of Electromagnetic Waves. Theories and Applications

Scattering of Electromagnetic Waves. Theories and Applications
Read more
Scattering of Electromagnetic Waves, Volume 1: Theories and Applications

Scattering of Electromagnetic Waves, Volume 1: Theories and Applications
Read more
Forensics in Telecommunications, Information and Multimedia: Third International ICST Conference, E-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers

Forensics in Telecommunications, Information and Multimedia: Third International ICST Conference, E-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers
Read more
Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004

Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004
Read more
Autonomic and Trusted Computing: Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006

Autonomic and Trusted Computing: Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
Read more
Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings

Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings
Read more
Applications of group theory to combinatorics

Applications of group theory to combinatorics
Read more
Information Security, Practice and Experience: 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010, Proceedings (Lecture Notes in Computer Science Security and Cryptology)

Information Security, Practice and Experience: 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010, Proceedings (Lecture Notes in Computer Science Security and Cryptology)
Read more